http://identifiers.org/mgd/MGI:1857277 Ptprc<tm1> Null/knockout CD45-exon9 MGI:1857277 CD45<-> Ptprc<tm1Holm> targeted mutation 1, Nick Holmes